181. Mathematical foundations of computer science 1981: proceedings, 10 th symposium Strbke Pleso, Czechosllovakia, August 31-September 4, 1981
پدیدآورنده :
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses,، Computational complexity-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
182. Mathematical foundations of computer science, 3rd Symposium at Jadwisin near warsaw, June 17-22, 1974
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming )Elrctronic computers(
Classification :
QA
267
.
5
.
S4
.
S89
1974
183. Mathematical foundations of computer science : symposium at ..
Author:
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
45
,
etc
...
184. Mathematical foundations of computer science : symposium at ..
Author: A. Kreczmar, G. Mirkowska )Eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
379
185. Mathematical foundations of computer science 1991 : 16th International symposium, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings
Author: A. Tarlecki )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
520
186. Mathematical foundations of computer science, 1975, 4th Symposium, Marianske, Lazne, September 1-5, 1975
Author: Edited by G. Goos and J. Hartmanis
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal languages
Classification :
QA
267
.
5
.
S4
S89
1975
187. Mathematical foundations of computer science 1975, 4th symposium , Marianske Lazne , sept ,1-5, 1975
Author: Symposium on Mathematical foundations of computer science , 4th Marianske Lazne , Czechoslovak repulic ,5791
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Sequaential machine theory - Congresses,، Formal languages - Congresses
Classification :
QA
267
.
5
.
S4S89
1975
188. Mathematical systems theory ; proceedings of the international symposium Udine, Italy June 16-27 .1975
Author:
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، System analysis - congresses,، Sequential machine theory - congresses,، Coding theory congresses
Classification :
QA
402
.
C58
1975
189. Net theory and applications.
Author: Wilfried Brauer
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine theory -- Congresses.,Nets (Mathematical) -- Congresses.,Petri nets -- Congresses.
190. PRICAI'96 : Topics in artificial intelligence : 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August, 26-30, 1996 : proceedings
Author: Norman Foo, Randy Goebel )Eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Machine learning,Congresses ، Knowledge representation )Information theory(
Classification :
QA
76
.
L28
Vol
.
1114
191. Petri Nets : advances in Petri Nets 1986 : proceedings of an advanced course, Bad Honnef, 8-19 September 1986
Author: edited by W. Brauer, W. Reisig, and G. Rozenberg
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Petri nets,Congresses ، Machine theory
Classification :
QA
76
.
L28
Vol
.
254-255
192. Proceedings
Author: )Edited by Jerome Fox(
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Computers,Congresses ، Machine theory
Classification :
TK
7885
.
S9
193. Proceedings
Author: Symposium on Computers and Automata, 1791, New York
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computers-- Congresses,، Machine theory-- Congresses
Classification :
TK
7885
.
S9
1971
194. Proceedings
Author: / edited by Imre J.Rudas
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Machine theory- Congresses,Robotics- Congresses,Bionics- Congresses
Classification :
TJ211
.
45
.
I345
1997
195. Proceedings
Author: / [Edited by] Jerome Fox. Brooklyn, N.Y. Polytechinic press of the Polytechnic Institute of Brooklyn: distribution
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Machine theory - Congresses
Classification :
001
.
64
S989p
1971
196. Proceedings of the ... Annual ACM Symposium on Theory of Computing
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Computable functions,Congresses ، Computational complexity
Classification :
QA
267
.
A27a
2002
197. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
Author: edited by G. H. Muller and M. M. Richter
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
Classification :
QA
3
.
L28
Vol
.
1103
,
1104
198. Proceedings of the thirty-third annual ACM Symposium on the Theory of Computing: Hersonissos, Crete, Greece, July 6-8, 2001
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Computational complexity
Classification :
QA
267
.
A27
2001
199. Proceedings : 34th Annual Symposium on Foundations of Computer Science, Novenber 3-5, 1993, Palo Alto, California
Author: sponsord by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Switching theory - Congresses , Machine theory - Congresses , Electronic data processing - Congresses , Computer Science-Congresses
Classification :
QA
268
.
5
.
S95
1993
200. Process algebra and probabilistic methods
Author: / Holger Hermanns, Roberto Segala, eds
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory--Congresses,Parallel processing (Electronic computers)--Congresses
Classification :
QA
,
267
,.
P362
,
2002
